void platinum(void);

void print1(void);

void bases(void);

void print2(void);

void charcode(void);

void altnames(void);

void showf(void);

void floaterr(void);

void typesize(void);

void badcount(void);

void escape(void);